Next:
Converting noweb markup to
Sorry, this requires a browser that supports frames!
Try
weird_ct.html
instead.